🔍 Type Inference - hello · Scour

Bridging the Programming Language Gap: Constructing a Multilingual Shared Semantic Space through AST Unification and Graph Matching 🍱Nom

Unification of multi-source and multi-fidelity fragility functions 🎯BPF CO-RE

sciencedirect.com·5d

Trace water in stored solvents behind seemingly spontaneous surface polymorphism 🧪Food Science

chemistryworld.com

·9h

Why Your AI Character Keeps Breaking Under Pressure (And What I Built Instead of Yet Another System Prompt) 💬Prompt Engineering

dev.to·3d·DEV

Family Orienting Python Frozenset Dependent Type Theory 🎯Hindley-Milner

philipzucker.com·2d

Ask HN: What kind of computer language will LLM use? 🦙Ollama

news.ycombinator.com·3d·Hacker News

Show HN: Formal Verification with Lean 💎Refinement Types

daniellowengrub.com·3h·Hacker News

Computational design of HLA class I superbinders for broad T cell immunogenicity 🐦Cuckoo Hashing

Abstract Machines for Logic Programs 🔍Datalog Engines

chrisistyping.bearblog.dev·2d·Lobsters, Hacker News, r/programming

Conan Exiles Enhanced: Benchmarks of Graphics Cards and Processors 🎮WebGPU

en.gamegpu.com·3d

KripkesBeard/programming-for-philosophers: Startings of a textbook which teaches declarative programming for applications in philosophy. 📊Datalog

github.com·2d·Hacker News

North Korea revises constitution to drop references to unification with South 🌍Geopolitics

allsides.com·5d

Palit Confirms Next-Gen GALAX HOF and KFA2 GPUs Already in Development ⚡Hardware Acceleration

techpowerup.com·5d

7 lines of code, 3 minutes: Implement a programming language (2010) λFunctional Programming

matt.might.net·1d·Hacker News, r/programming

Stacking-dependent thermoelectric transport in layered Sc_2Si_2Te_6 from first principles 📡TCP/IP Stack

North Korea drops unification goal with South Korea in major constitution update 🌍Geopolitics

the-independent.com·6d

McCoy to Helm The Port of Virginia® 🚛Supply Chain

railwayage.com·3d

North Korea to move artillery capable of striking Seoul to border with South 🌍Geopolitics

·4d·r/SCMPauto

I Built Rust-Style ADTs in 30 Lines of Python (Pattern Matching Works) 📦Serde

dev.to·4h·DEV

The appeal of bidirectional type-checking 📐Type Theory

haskellforall.com·3d

Log in to enable infinite scrolling